//
//  satVisitor.cpp
//  ltlbmc
//
//

#include <iostream>
#include "satVisitor.h"

using namespace cilast;

satVisitor::satVisitor() {};

int satVisitor::visit(block*) { }

//constant
int satVisitor::visit(constant*) { }
int satVisitor::visit(CInt64*) { }
int satVisitor::visit(CStr*) { }
int satVisitor::visit(CWStr*) { }
int satVisitor::visit(CChr*) { }
int satVisitor::visit(CReal*) { }
int satVisitor::visit(CEnum*) { }

//exp
int satVisitor::visit(exp*) { }
int satVisitor::visit(Const*) { }
int satVisitor::visit(Lval*) { }
int satVisitor::visit(SizeOf*) { }
int satVisitor::visit(SizeOfE*) { }
int satVisitor::visit(SizeOfStr*) { }
int satVisitor::visit(AlignOf*) { }
int satVisitor::visit(AlignOfE*) { }
int satVisitor::visit(UnOp*) { }
int satVisitor::visit(BinOp*) { }
int satVisitor::visit(CastE*) { }
int satVisitor::visit(AddrOf*) { }
int satVisitor::visit(StartOf*) { }


//init
int satVisitor::visit(init*) { } ;
int satVisitor::visit(SingleInit*) { }
int satVisitor::visit(OffsetInit*) { }
int satVisitor::visit(CompoundInit*) { }

//instr
int satVisitor::visit(instr*) { }
int satVisitor::visit(Set*) { }
int satVisitor::visit(Call*) { }
int satVisitor::visit(Asm*) { }

//lhost
int satVisitor::visit(lhost*) { }
int satVisitor::visit(Var*) { }
int satVisitor::visit(Mem*) { }

//lval
int satVisitor::visit(lval*) { }


//fundec
int satVisitor::visit(fundec* fdec) { 
    //if(fdec->sbody->bstmts[0]->ipostdom==NULL)
      //  computeIPDom(fdec);
    
    

}

//stmt
int satVisitor::visit(stmt*) { }

//stmtkind
int satVisitor::visit(stmtkind*) { }
int satVisitor::visit(Instr*) { }
int satVisitor::visit(Return*) { }
int satVisitor::visit(Goto*) { }
int satVisitor::visit(Break*) { }
int satVisitor::visit(Continue*) { }
int satVisitor::visit(If*) { }
int satVisitor::visit(Switch*) { }
int satVisitor::visit(Loop*) { }
int satVisitor::visit(Block*) { }
int satVisitor::visit(TryFinally*) { }
int satVisitor::visit(TryExcept*) { }

//global
int satVisitor::visit(global*) {};
int satVisitor::visit(GType*) {};
int satVisitor::visit(GCompTag*) {};
int satVisitor::visit(GCompTagDecl*) {};
int satVisitor::visit(GEnumTag*) {};
int satVisitor::visit(GEnumTagDecl*) {};
int satVisitor::visit(GVarDecl*) {};
int satVisitor::visit(GVar*) {};
int satVisitor::visit(GFun*) {};
int satVisitor::visit(GAsm*) {};
int satVisitor::visit(GPragma*) {};
int satVisitor::visit(GText*) {};





